Results for 'J. R. Myhill'

1000+ found
Order:
  1.  16
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  2.  8
    Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
  4.  24
    Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  33
    Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Publicity and Common Commitment to Believe.J. R. G. Williams - 2021 - Erkenntnis 88 (3):1059-1080.
    Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  52
    Thinking and feeling in actual idealism.J. R. M. Wakefield - 2018 - British Journal for the History of Philosophy 26 (4):782-801.
    In La filosofia dell’arte, Giovanni Gentile assigned a prominent new role to the sentiments. This change struck some critics as a major departure from the earlier, classic accounts of actual idealism, in which Gentile argued that thought and language comprise the entirety of reality. Sentiments do not fit cleanly into a theory so narrowly concerned with thought and thinking. Their introduction, runs the objection, only compounds certain existing ambiguities in Gentile’s conception of the relation between mind and world. This article (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    The Free Spirit: Guido de Ruggiero on Actualism and Politics.J. R. M. Wakefield - 2020 - Collingwood and British Idealism Studies 26 (1-2):53-84.
    In this article I examine the metaphysical foundations of Guido de Ruggiero’s liberalism and ask what these can tell us about his changing view of Giovanni Gentile's actualism, which was such an influence on de Ruggiero before the First World War. I argue that de Ruggiero’s ‘actualism’ was never the same as Gentile’s, but was drawn from the same intellectual sources; that the actualist conception of free and self-conscious agency runs through both versions of the doctrine, though interpreted in different (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Studies of interference in serial verbal reactions.J. R. Stroop - 1935 - Journal of Experimental Psychology 18 (6):643.
  10.  9
    Review: J. R. Myhill, Three Contributions to Recursive Function Theory. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
  11. How to Argue About Practical Reason.J. R. Wallace - 1990 - Mind 99:355.
     
    Export citation  
     
    Bookmark   25 citations  
  12.  5
    Orphism.J. R. Watmough - 2015 - Cambridge University Press.
    Originally published in 1934, this book contains the Cromer Greek Prize-winning essay for that year on the subject of the still little-understood Greek religion Orphism. Watmough examines Orpheus and Orphism through a distinctly Protestant lens, arguing that both were religions 'of reform' sharing similar views on asceticism and the wages of sin in the afterlife. This book will be of value to anyone with an interest in Greek mysticism and ancient religion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  36
    II–J.R. Lucas.J. R. Lucas - 1998 - Aristotelian Society Supplementary Volume 72 (1):45-56.
  14. Indeterminacy and normative silence.J. R. G. Williams - 2012 - Analysis 72 (2):217-225.
    This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  15. Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.
    In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   162 citations  
  16.  19
    Adam Smith’s Marketplace of Life.J. R. Weinstein - 2004 - Mind 113 (449):202-207.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  17. Sartre, Foucault, and Historical Reason. By Thomas R. Flynn.J. R. Watson - 1999 - The European Legacy 4:121-121.
     
    Export citation  
     
    Bookmark  
  18.  48
    A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Supervaluationism and Logical Revisionism.J. R. G. Williams - 2008 - Journal of Philosophy 105 (4):192-212.
    In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  20.  10
    The meaning of behaviour.J. R. Maze - 1983 - Boston: G. Allen & Unwin.
  21.  22
    On some corruptions of the doctrine of homeostasis.J. R. Maze - 1953 - Psychological Review 60 (6):405-412.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  22.  99
    Adjudication under Bentham's Pannomion: J. R. Dinwiddy.J. R. Dinwiddy - 1989 - Utilitas 1 (2):283-289.
  23.  42
    The Metaphysics of Representation: Précis By J.R.G. Williams.J. R. G. Williams - 2021 - Analysis 81 (3):499-501.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Verse: Annunciate.J. R. G. Adams - 1953 - Pacific Philosophical Quarterly 34 (3):289.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  54
    'I Have This Feeling of Not Really Being Here': Buddhist Meditation and Changes in Sense of Self.J. R. Lindahl & W. B. Britton - 2019 - Journal of Consciousness Studies 26 (7-8):157-183.
    A change in sense of self is an outcome commonly associated with Buddhist meditation. However, the sense of self is construed in multiple ways, and which changes in self-related processing are expected, intended, or possible through meditation is not well understood. In a qualitative study of meditation-related challenges, six discrete changes in sense of self were reported by Buddhist meditators: change in narrative self, loss of sense of ownership, loss of sense of agency, change in sense of embodiment, change in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  26. Humanity at the Limit: The Impact of the Holocaust Experience on Jews and Christians. Edited by Michael A. Signer.J. R. Watson - 2003 - The European Legacy 8 (5):700-700.
     
    Export citation  
     
    Bookmark  
  27. Heidegger's Silence. By Berel Lang.J. R. Watson - 1998 - The European Legacy 3:133-133.
     
    Export citation  
     
    Bookmark  
  28.  3
    KarlKorsch: Revolutionary Theory.J. R. Watson - 1977 - Télos 1977 (33):244-248.
  29. Reading Foucault for Social Work. Edited by Adrienne S. Chambon, Allan Irving and Laura Epstein.J. R. Watson - 2002 - The European Legacy 7 (2):275-276.
     
    Export citation  
     
    Bookmark  
  30. The Art of Darkness. By Charlotte G. Opfermann.J. R. Watson - 2004 - The European Legacy 9:565-565.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  32
    Resolving ambiguity: Effects of biasing context in the unattended ear.J. R. Lackner & M. F. Garrett - 1972 - Cognition 1 (4):359-372.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   112 citations  
  32. La philosophie de Fontenelle ou Le Sourire de la Raison.J. R. Carré & Fontenelle - 1933 - Revue Philosophique de la France Et de l'Etranger 116:279-285.
     
    Export citation  
     
    Bookmark  
  33. British Idealism and the Concept of the Self. [REVIEW]J. R. M. Wakefield - 2019 - Journal of Educational Theory 52:275–279.
     
    Export citation  
     
    Bookmark  
  34. Fundamental and Derivative Truths.J. R. G. Williams - 2010 - Mind 119 (473):103 - 141.
    This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  35.  36
    Spacetime and electromagnetism: an essay on the philosophy of the special theory of relativity.J. R. Lucas - 1990 - New York: Oxford University Press. Edited by P. E. Hodgson.
    That space and time should be integrated into a single entity, spacetime, is the great insight of Einstein's special theory of relativity, and leads us to regard spacetime as a fundamental context in which to make sense of the world around us. But it is not the only one. Causality is equally important and at least as far as the special theory goes, it cannot be subsumed under a fundamentally geometrical form of explanation. In fact, the agent of propagation of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  36. The Foundations of Illocutionary Logic.J. R. Searle & Daniel Vanderveken - 1989 - Linguistics and Philosophy 12 (6):745-748.
  37.  11
    Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  38.  62
    Satan Stultified.J. R. Lucas - 1968 - The Monist 52 (1):145-158.
    The application of Gödel’s theorem to the problem of minds and machines is difficult. Paul Benacerraf makes the entirely valid ‘Duhemian’ point that the argument is not, and cannot be, a purely mathematical one, but needs some philosophical premisses to be able to yield any philosophical conclusions. Moreover, the philosophical premisses are of very different kinds. Some are concerned with what is essential to being a machine—these are typically intricate, but definite, easily formalised by the mathematician, but unintelligible to the (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  39.  43
    Bentham: selected writings of John Dinwiddy.J. R. Dinwiddy - 1989 - Stanford, Calif.: Stanford University Press. Edited by William Twining.
    Jeremy Bentham, the founder of utilitarianism, made a powerful impact on several major areas of thought and policy: ethics, jurisprudence, political and constitutional theory, and social and administrative reform. Yet from the start his ideas have been subject to misunderstanding and caricature. John Dinwiddy's Bentham is regarded as the best introduction to this important jurist and reformer. Dinwiddy examines the various components of Bentham's philosophy and shows how each was shaped by the radical rethinking entailed by the utilitarian approach. He (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  40. Research on syllogistic reasoning.J. R. Erickson - 1978 - In Russell Revlin & Richard E. Mayer (eds.), Human Reasoning. Distributed Solely by Halsted Press. pp. 39--50.
  41. The Price of Inscrutability.J. R. G. Williams - 2008 - Noûs 42 (4):600 - 641.
  42.  21
    Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
  43. Induction before Hume.J. R. Milton - 1987 - British Journal for the Philosophy of Science 38 (1):49-74.
  44. In Memory of J.R. Firth.J. R. Firth, C. E. Bazell, J. C. Catford, M. A. K. Halliday & R. H. Robins - 1969 - Foundations of Language 5 (3):391-408.
     
    Export citation  
     
    Bookmark  
  45.  24
    Satan Stultified.J. R. Lucas - 1968 - The Monist 52 (1):145-158.
    The application of Gödel’s theorem to the problem of minds and machines is difficult. Paul Benacerraf makes the entirely valid ‘Duhemian’ point that the argument is not, and cannot be, a purely mathematical one, but needs some philosophical premisses to be able to yield any philosophical conclusions. Moreover, the philosophical premisses are of very different kinds. Some are concerned with what is essential to being a machine—these are typically intricate, but definite, easily formalised by the mathematician, but unintelligible to the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46. Surveying Philosophers About Philosophical Intuition.J. R. Kuntz & J. R. C. Kuntz - 2011 - Review of Philosophy and Psychology 2 (4):643-665.
    This paper addresses the definition and the operational use of intuitions in philosophical methods in the form of a research study encompassing several regions of the globe, involving 282 philosophers from a wide array of academic backgrounds and areas of specialisation. The authors tested whether philosophers agree on the conceptual definition and the operational use of intuitions, and investigated whether specific demographic variables and philosophical specialisation influence how philosophers define and use intuitions. The results obtained point to a number of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  47.  66
    Enactive Music Cognition: Background and Research Themes.J. R. Matyja & A. Schiavio - 2013 - Constructivist Foundations 8 (3):351-357.
    Context: The past few years have presented us with a growing amount of theoretical research (yet that is often based on neuroscientific developments) in the field of enactive music cognition. Problem: Current cognitivist and embodied approaches to music cognition suffer, in our opinion, from a too firm commitment to the explanatory role of mental representations in musical experience. This particular problem can be solved by adopting an enactive approach to music cognition. Method: We present and compare cognitivist, embodied and enactive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  48.  22
    The Spirit of Mediaeval Philosophy.J. R. Cresswell & Etienne Gilson - 1938 - Philosophical Review 47 (3):310.
  49.  22
    J.R.D. Tata: orations on business ethics.J. R. D. Tata, Oswald A. J. Mascarenhas, Doris D'Souza & E. Abraham (eds.) - 2019 - New Delhi: Rupa Publications India.
    XLRI, in association with a few Tata Group companies, established the XLRI-JRD Tata Foundation in Business Ethics in 1991 to mark their long-standing commitment and contribution to business ethics in India. The foundation seeks to address this by publicly affirming the urgent need for ethics in business and the need to bring about a conducive culture in which it can thrive.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  7
    Classification in the PHILEBUS.J. R. Trevaskis - 1960 - Phronesis 5 (1):39-44.
1 — 50 / 1000